extends Constraints on infer Type Variables